<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
EPLEX: The ECLiPSe/LP/MIP Interface
</TITLE>
</HEAD>
<BODY >
<A HREF="libman042.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman064.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter"><A NAME="htoc104">Chapter&nbsp;9</A>&nbsp;&nbsp;EPLEX: The ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP>/LP/MIP Interface</H1>
<A NAME="chapeplex"></A>

<BR>
<BR>
<A NAME="@default274"></A>
<A NAME="@default275"></A>
<A NAME="@default276"></A>
<A NAME="@default277"></A>
<A NAME="@default278"></A>
<UL>
<LI><A HREF="libman053.html">Usage</A>
<LI><A HREF="libman054.html">Eplex Instances</A>
<UL>
<LI><A HREF="libman054.html#toc54">Linear Constraints</A>
<LI><A HREF="libman054.html#toc55">Linear Expressions</A>
<LI><A HREF="libman054.html#toc56">Bounds</A>
<LI><A HREF="libman054.html#toc57">Integrality</A>
<LI><A HREF="libman054.html#toc58">Solving Simple Eplex Problems</A>
<LI><A HREF="libman054.html#toc59">Examples</A>
</UL>
<LI><A HREF="libman055.html">Advanced Use of Eplex Instances</A>
<UL>
<LI><A HREF="libman055.html#toc60">Obtaining Solver State Information</A>
<LI><A HREF="libman055.html#toc61">Creating Eplex Instances Dynamically</A>
<LI><A HREF="libman055.html#toc62">Interface for CLP-Integration: Solver Demons</A>
<LI><A HREF="libman055.html#toc63">Encapsulated Modification of the Problem: Probing</A>
<LI><A HREF="libman055.html#toc64">Destroying the Solver State</A>
<LI><A HREF="libman055.html#toc65">Eplex Instance Interface Example: definition of optimize/2:</A>
</UL>
<LI><A HREF="libman056.html">Low-Level Solver Interface</A>
<UL>
<LI><A HREF="libman056.html#toc66">Setting Up a Solver State</A>
<LI><A HREF="libman056.html#toc67">Adding Constraints to a Solver State</A>
<LI><A HREF="libman056.html#toc68">Running a Solver State Explicitly</A>
<LI><A HREF="libman056.html#toc69">Accessing the Solver State</A>
<LI><A HREF="libman056.html#toc70">Expandable Problem and Constraints</A>
<LI><A HREF="libman056.html#toc71">Changing Solver State Settings</A>
<LI><A HREF="libman056.html#toc72">Destroying a Solver State</A>
<LI><A HREF="libman056.html#toc73">Miscellaneous Predicates</A>
</UL>
<LI><A HREF="libman057.html">Cutpool Constraints</A>
<UL>
<LI><A HREF="libman057.html#toc74">Solving a Problem with Cutpool Constraints</A>
<LI><A HREF="libman057.html#toc75">Predicate-specific Support</A>
</UL>
<LI><A HREF="libman058.html">Multiple Solver States</A>
<LI><A HREF="libman059.html">External Solver Output and Log</A>
<LI><A HREF="libman060.html">Dealing with Large and Other Non-standard Numbers</A>
<LI><A HREF="libman061.html">Error Handling</A>
<LI><A HREF="libman062.html">Solver Behaviour Differences</A>
<LI><A HREF="libman063.html">Solver Specific Information</A>
<UL>
<LI><A HREF="libman063.html#toc76">Versions and Licences</A>
<LI><A HREF="libman063.html#toc77">Solver Differences</A>
<LI><A HREF="libman063.html#toc78">Access to External Solver's Control Parameters</A>
</UL>
</UL>
<BR>
<BR>
<HR WIDTH="50%" SIZE=1><DL CLASS="list"><DT CLASS="dt-list"><A NAME="note6" HREF="libman055.html#text6"><FONT SIZE=5>1</FONT></A><DD CLASS="dd-list">However, some monotonic changes are allowed in the
low-level interface, for implementing column generation, see
section&nbsp;<A HREF="libman056.html#coladd">9.4.5</A>.
<DT CLASS="dt-list"><A NAME="note7" HREF="libman063.html#text7"><FONT SIZE=5>2</FONT></A><DD CLASS="dd-list">Note that
it is <B>not</B> sufficient that you have a valid license and solver
libraries for a particular version of the solver. That solver version must
also be supported by the release of ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> you are using.
</DL>
<HR>
<A HREF="libman042.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman064.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
